Tests Derivation from Model Based Formal Specifications
نویسنده
چکیده
Software testing consumes a large percentage of total software development costs. Yet, it is still usually performed manually in a non rigorous fashion. In this work we suggest how state of the art practices in the area of testing can be applied to the systematic generation of tests from model-based formal specifications.
منابع مشابه
A formal approach to conformance testing
In order to assure successful communication between computer systems from different manufacturers, standardized communication protocols are being developed and specified. As a next step implementations of these protocols are needed that conform to these specifications. Testing is a way to check correctness of protocol implementations with respect to their specifications. This activity is known ...
متن کاملAutomatic Testing with Formal Methods
The use of formal system specifications makes it possible to automate the derivation of test cases from specifications. This allows to automate the whole testing process, not only the test execution part of it. This paper presents the state of the art and future perspectives in testing based on formal methods. The theory of formal testing is briefly outlined, a test tool is presented which auto...
متن کاملDeriving Correct Prototypes from Formal Z Specifications
This paper describes a systematic way of constructing correct prototypes in a functional language such as Miranda from Z specifications. A formal relationship between Z specifications and functional prototypes is established. This relationship is based on model refinement in the sense of specification refinement in the model-oriented specification style. To reduce the number of proofs required ...
متن کاملA Provably Correct Functional Programming Approach to the Prototyping of Formal Z Specifications
This paper describes a systematic way of constructing correct prototypes in a functional language such as Miranda or Haskell from Z specifications. A formal relationship between Z specifications and functional prototypes is established. This relationship is based on model refinement in the sense of specification refinement in the model-oriented specification style. To reduce the number of proof...
متن کاملSpecification-based Testing of Concurrent Systems
The paper addresses the problem of test suite derivation from a formal specification of a distributed concurrent software system by presenting a concurrency model, called behavior machine, and its construction algorithm from a collection of labeled transition systems. It outlines how test derivation can be based on the new concurrency model to derive test suites that still exhibit concurrency b...
متن کامل